from localc import *

x = Proposition("( a )")
print(x)